hal varian